Inclusive and Exclusive or Interpretation for Indefinite Deductive Databases

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Indefinite and GCWA Inference in Indefinite Deductive Databases

This paper presents several basic results on compiling indefinite and GCWA(Generalized Closed World Assumption) inference in IDDB(Indefinite Dedutive Databases). We do not allow function symbols, but do allow non-Horn clauses. Further, although the GCWA is used to derive negative assumptions, we do also allow negative clauses to occur explicitly. We show a fundamental relationship between indef...

متن کامل

Intuitionistic Interpretation of Deductive Databases with Incomplete Information

Dong, F. and L.V.S. Lakshmanan, Intuitionistic interpretation of deductive databases with incomplete information, Theoretical Computer Science 133 (1994) 267-306. The aim of this paper is to build the relationship between deductive databases with incomplete information and hypothetical reasoning using embedded implications. We first consider the semantics of deductive databases with incomplete ...

متن کامل

Coping with Indefinite and Negative Data in Deductive Databases: A Survey

[Jo93a] C. A. Johnson, Top down deduction in indefinite deductive databases, Keele University technical report (TR93-08).

متن کامل

Prolog and deductive databases

The logic programming language Prolog has been shown to be a very suitable language for implementing database concepts. However, current Prolog implementations are limited, and the database examples used have all consisted of relatively small sets of clauses. The reason for this is that existing Prolog implementations do not scale up to handle large databases. This paper describes a project who...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The KIPS Transactions:PartD

سال: 2002

ISSN: 1598-2866

DOI: 10.3745/kipstd.2002.9d.2.243